منابع مشابه
On generically stable types in dependent theories
We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.
متن کاملFinding generically stable measures
This work builds on [6] and [7] where Keisler measures over NIP theories are studied. We discuss two constructions for obtaining generically stable measures in this context. First, we show how to symmetrize an arbitrary invariant measure to obtain a generically stable one from it. Next, we show that suitable sigma-additive probability measures give rise to generically stable Keisler measures. A...
متن کاملGenerically stable, ω-categorical groups and rings
In two recent papers with Krzysztof Krupi´nski, we proved that every ω-categorical, generically stable group is nilpotent-by-finite and that every ω-categorical, generically stable ring is nilpotent-by-finite. During the lecture, after a brief overview of well-known results on ω-categorical groups and rings, I will explain the main ideas of the proofs of our results.
متن کاملGenerically stable types are stably dominated in C-minimal expansions of ACVF
Let p(x) be a generically stable type over C0, thought of as a C0-definable type over U. The type p(x) might live in an imaginary sort. We are going to prove that there is a small set C ⊇ C0 and a C-definable map f into a power of k such that p is “dominated” over C by its pushforward along f . That is, for every D ⊇ C and every a, the following will be equivalent: • a |= p|D • a |= p|C and f(a...
متن کاملOn ω-categorical, generically stable groups
We prove that each ω-categorical, generically stable group is solvable-byfinite.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2015
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2014.24